\section{Methodology}

The input of the test is an ontology $O$ stored in an owl file, and a conjunctive query $Q$. The output of the test is a file containing the rewriting $Q'$ of $Q$ w.r.t.\ $O$ conforming to the format shown in Figure \ref{fig:formatOutput}. Each test is done three times.

\begin{figure}[h]
	\centering
		\small
		\begin{verbatim}
==================SUMMARY==================
Ontology file:             benchmark.owl
Query:                     Q(X0)  <-  A1(X0)
Number of assertions:      12
Number of concept symbols: 15
Number of role symbols:    0
Running time:              41 milliseconds 
Size of the rewriting:     5
0: Q(X0)  <-  A1(X0)
1: Q(X0)  <-  A2(X0)
2: Q(X0)  <-  A3(X0)
3: Q(X0)  <-  A4(X0)
4: Q(X0)  <-  A5(X0)
==================SUMMARY==================
\end{verbatim}
		\normalsize
		\label{fig:formatOutput}
		\caption{Output files format.}
\end{figure}